🔬 programming language theory - 2601 · Scour

Designing and Using Combinators: The Essence of Functional Programming

cse.chalmers.se·1d·

Discuss: Hacker News

🔗Dependent Types

Domain Specific Languages

martinfowler.com·1d

🎨Domain-Specific Languages

[TUHS] bare m4 (was BTL summmer employees)

tuhs.org·4h·

Discuss: Lobsters

FLINGO -- Instilling ASP Expressiveness into Linear Integer Constraints

arxiv.org·15h

⚡Comptime Parsers

maja0027/xi-lang: A binary graph-based programming language designed for AI authorship, machine execution, and mathematical completeness.

github.com·1d·

Discuss: Hacker News

🤖Code Generation

What Does “The Shape of Thought” Look Like Inside an LLM?

pub.towardsai.net·35m

🔄Systems Thinking

cs.tufts.edu·1d·

Discuss: Lobsters

🌉Cross-Platform FFI

Lean 4 and the Curry–Howard correspondence

wildonblog.wordpress.com·2d

∘Category Theory

news.ycombinator.com·1d·

Discuss: Hacker News

🌉Cross-Platform FFI

Formal Methods Practice and Theory

adacore.com·1d·

Discuss: Hacker News

✓Formal Methods

Large Language Model Reasoning Failures

arxiv.org·2h

🪜Recursive Descent

Architectural and Mathematical Foundations of Machine Learning: A Rigorous Synthesis of Theory, Geometry, and Implementation

chizkidd.github.io·7h·

Discuss: Hacker News

🔍Neural Architecture Search

Large Language Models for Mortals book

andrewpwheeler.com·10h

docs.modular.com·5h

📐Type Theory

Part 2 - AI Chat Evaluation of the Formal Language in He Xin's PEPC System

news.ycombinator.com·4h·

Discuss: Hacker News

🧠Symbolic AI

Coding A PoS Tagger from Scratch — A Statistical Part-of-Speech Tagger | NLP

pub.towardsai.net

·1d

🔤Language Tokenizers

Deferred member initialization in C++

sandordargo.com·21h·

Discuss: Lobsters

💬Smalltalk VMs

en.wikipedia.org·1d

∘Category Theory

Reckoning with Everything. The Becoming-Environmental of Computing

meson.press·2h

🌱Digital Gardens

Programming Aphorisms

matklad.github.io·20h·

Discuss: Lobsters, Hacker News

🪞Metaprogramming

Loading more...